Stichworte: Baum kürzen erlaubt